Automation of Quantitative Information-Flow Analysis
نویسندگان
چکیده
Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step towards ensuring its practical applicability, since manual reasoning about program security has been shown to be a tedious and expensive task. In this chapter we describe a approximation and randomization techniques to bear on the challenge of sufficiently precise, yet efficient computation of quantitative information flow properties.
منابع مشابه
Knowledge Flows Automation and Designing a Knowledge Management Framework for Educational Organizations
One of an important factor in the success of organizations is the efficiency of knowledge flow. The knowledge flow is a comprehensive concept and in recent studies of organizational analysis broadly considered in the areas of strategic management, organizational analysis and economics. In this paper, we consider knowledge flows from an Information Technology (IT) viewpoint. We usually have tw...
متن کاملPrecise quantitative information flow analysis - a symbolic approach
Quantitative information flow analysis (QIF) is a portfolio of software security assessment techniques measuring the amount of confidential information leaked by a program to its public outputs. In this paper, we extend the scope of precise QIF for deterministic imperative programs where information flow can be described with linear integer arithmetic. We propose two novel QIF analyses that pre...
متن کاملA QUANTITATIVE ANALYSIS OF CIRCULAR FLOW OF IRANIAN ECONOMY BASED ON SOCIAL ACCOUNTING MATRIX 1996
متن کامل
On Semantic Interoperability and the Flow of Information
We discuss current approaches that, for the sake of automation, provide formal treatments to the problem of semantic interoperability and integration, and we reflect upon the suitability of the Barwise-Seligman theory of information flow as a candidate for a theoretical framework that favours the analysis and implementation of semantic interoperability scenarios.
متن کاملInformation and data flow analysis for forestry sector in Iran as a basic requirement for designing a forest information system (FIS)
ABSTRACT The aim of this study was to evaluate the status of information on forest and data transfer and to identify the gaps in information and data flow in forestry sector in Iran. The study evaluated the data and information flow in three levels (control offices level, provincial offices level and organizational offices level) using the document analysis and questioning (interviews and ques...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013